Luca Cardelli

#	Item
31	Modula-3: Language definition (single page) Modula-3: Language definition (single page) Designed and written by Luca Cardelli, James Donahue, Lucille Glassman, Mick Jordan, Bill Kalsow, and Greg Nelson. Add to Reading List Source URL: www.fh-jena.de Language: English - Date: 2007-10-15 12:28:52 Data types Procedural programming languages Type theory Cross-platform software Modula-3 Modula-2 Oberon Modula Pascal Software engineering Computing Computer programming
32	On The Computational Power of Biochemistry Luca Cardelli Microsoft Research with Add to Reading List Source URL: lucacardelli.name Language: English - Date: 2009-03-14 15:21:03 Computer science Luca Cardelli Year of birth missing Type theory
33	Compiling a Functional Language Luca Cardelli AT&T Bell Laboratories Add to Reading List Source URL: lucacardelli.name Language: English - Date: 2007-10-27 08:55:05 Type theory Data types Procedural programming languages Functional languages Subroutines ML Variable Closure Pointer Software engineering Computing Programming language theory
34	Typeful Programming Luca Cardelli Digital Equipment Corporation, Systems Research Center Add to Reading List Source URL: www.lucacardelli.name Language: English - Date: 2007-10-27 12:43:49 Programming language theory Subtype polymorphism Type system Polymorphism Strong typing Type safety Parametric polymorphism Data type System F Type theory Software engineering Computing